k:Knd. isrcv(k)  tag(k)  Id 

latex

Definitions	Knd, isrcv(k), tag(k), 2of(t), x. t(x), outl(x), P  Q, b, isl(x), x:A. B(x), IdLnk, t  T, Id
Lemmas	Id wf, IdLnk wf, isl wf, assert wf, outl wf, pi2 wf